Inhalt des Dokuments

Forschung

Artikel akzeptiert

Samstag, 21. März 2009

Artikel "On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems" akzeptiert (Rate 12/42) für FMOODS/FORTE 2009 (Co-Autoren Morten Kühnrich, Uwe Nestmann).

---